<?php

 /*
  * player.php
  *
  * displayPlayer - displays the flash player div
  *
  */

function displayPlayer() {
?>
<div id="page">
	<div id="player">
		<img src="images/raccoon.jpg" width="<? echo $_SESSION['pwidth'] ?>" height="<? echo $_SESSION['pheight'] ?>" hspace="4" vspace="4" />
	</div>
</div>
<?php
}
?>